61. Constructing logic programs
پدیدآورنده : edited by Jean-Marie Jacquet
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
C67
1993
62. Correct reasoning
پدیدآورنده : Esra Erdem ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence,Logic programming
رده :
QA76
.
63
.
C67
2012eb
63. DLP : a language for distributed logic programming : design, semantics, and implementation
پدیدآورنده : Eliens, Anton.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic programming )Computer science( , Electronic data processing - Distributed processing
رده :
QA
76
.
63
.
E45
1992
64. Decision table languages and systems
پدیدآورنده : Metzner, John R.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic digital computers -- Programming,، Decision logic tables
رده :
QA
76
.
6
.
M484
65. Decision tables
پدیدآورنده : / Michael Montalbano
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Decision logic tables
رده :
001
.
642
M762
66. Deep Learning with Python : A Hands-on Introduction
پدیدآورنده : Ketkar, Nikhil
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer programming,، Computer science,، Computers,، Mathematical logic
رده :
LB
2822
.
75
.
K88
2017
67. Differentiation in logical form
پدیدآورنده : by: Mehrdad Maleki,^AMaleki, Mehrdad
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Logic programming,Computer logic,Nonsmooth optimization,Interval analysis )Mathematics(,Automatic differentiation
68. Digital logic simulation and CPLD programming
پدیدآورنده : / Steve Waterman
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : م‍داره‍ای م‍ن‍طق‍ی -- طرح و س‍اخ‍ت‍م‍ان -- دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,م‍داره‍ای م‍ن‍طق‍ی -- ش‍ب‍ی‍ه‌س‍ازی کامپیوتری -- دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,-- Logic programming دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,وی. اچ. دی . ال (زب‍ان ت‍وص‍ی‍ف‍ی س‍خ‍ت‌اف‍زار)
رده :
TK
۷۸۶۸
/
م
۴۸
و
۲ ۱۳۸۲
69. Digital system design and microprocessors
پدیدآورنده : Hayes, John Patrick
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Digital integrated circuits,Logic design,، Microprocessors,Programming ، Microcomputers
رده :
TK
7874
.
H393
1984
70. Digital system design and microprocessors
پدیدآورنده : John P. Hayes
موضوع : Digital integrated circuits,Logic design,Microprocessors,Microcomputers -- programming
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
71. Digital system design and microprocessors
پدیدآورنده : Hayes, John P.)John Patrick(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Digital integrated circuits,، Logic design,، Microprocessors,، Microcomputers - Programming
رده :
TK
7874
.
H393
1984
72. Digital system design and microprocessors
پدیدآورنده : Hayes, John P.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Digital integrated circuits,، Logic design,، Microprocessors,، Microcomputers- Programming
رده :
TK
7874
.
H393
73. Digital system design & microprocessors
پدیدآورنده : HAYES,JOHN PATRICK
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : DIGITAL INTEGRATED CIRCUITS , LOGIC DESIGN , MICROCOMPUTERS-PROGRAMMING
رده :
TK
7874
.
H39
74. Discrete structures, logic, and computability
پدیدآورنده : James L. Hein
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer science, Mathematics,Logic programming,Data structures )Computer science(,Logic, Symbolic and mathematical,Computable functions
رده :
QA
76
,.
9
.
H42D5
2010
75. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science--Mathematics,Logic programming,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
9
.
M35
,.
H44
2010
76. Discrete structures, logic, and computability
پدیدآورنده : Hein, James L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic programming,، Data structures )Computer science(,، Logic, Symbolic and mathematical,، Computable functions
رده :
QA
76
.
9
.
M35H43
2010
77. Distributed constraint logic programming
پدیدآورنده : Leung, Ho-Fung.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
78. Distributed constraint logic programming
پدیدآورنده : Leung, Ho-Fung.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
79. Entscheidungstabellen; Hilfsmittel zur entscheidungsfindung, dokumentation und programmierung
پدیدآورنده : Fischbach, Franz
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Decision logic tables
رده :
QA
76
.
6
.
F54
80. Essentials of logic programming
پدیدآورنده : Hogger, Christopher John
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
H64
1990
